$\forall$$A$, $B$:Dsys. $A$ $\subseteq$ $A$ $\oplus$ $B$